翻訳と辞書 Words near each other ・ Friedrich Berge ・ Friedrich Bergius ・ Friedrich Bernhard ・ Friedrich Bernhard Ferdinand Michelis ・ Friedrich Bernhard Gottfried Nicolai ・ Friedrich Berthold Reinke ・ Friedrich Bertram Sixt von Armin ・ Friedrich Bessel ・ Friedrich Bethge ・ Friedrich Beust ・ Friedrich Bezold ・ Friedrich Bidder ・ Friedrich Bieber ・ Friedrich Blass ・ Friedrich Bleek ・ Friedman translation ・ Friedman Unit ・ Friedman's Inc. ・ Friedman's k-percent rule ・ Friedmann equations ・ Friedmann Nunataks ・ Friedmann Peak ・ Friedmann Valley ・ Friedmann's lark ・ Friedmannia ・ Friedmanniella antarctica ・ Friedmanniella lacustris ・ Friedmanniella lucida ・ Friedmanniella luteola ・ Friedmanniella okinawensis Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Friedman translation ： ウィキペディア英語版 Friedman translation In mathematical logic, the Friedman translation is a certain transformation of intuitionistic formulas. Among other things it can be used to show that the Π02-theorems of various first-order theories of classical mathematics are also theorems of intuitionistic mathematics. It is named after its discoverer, Harvey Friedman. ==Definition== Let ''A'' and ''B'' be intuitionistic formulas, where no free variable of ''B'' is quantified in ''A''. The translation ''AB'' is defined by replacing each atomic subformula ''C'' of ''A'' by . For purposes of the translation, ⊥ is considered to be an atomic formula as well, hence it is replaced with (which is equivalent to ''B''). Note that ¬''A'' is defined as an abbreviation for hence 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Friedman translation」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.